Словарь по логике - закон косвенного доказательства
Связанные словари
Закон косвенного доказательства
логический закон, позволяющий делать заключения об истинности какого-то высказывания на основании того, что отрицание этого высказывания влечет противоречие. Напр.: "Если из того, что 11 не является простым числом, вытекает то, что оно делится на число, отличное от самого себя и единицы, и то, что оно не делится на такое число, то 11 есть простое число".
С использованием символики логической (p, q некоторые высказывания; -> импликация, "если, то"; & конъюнкция, "и"; ~ отрицание, "неверно, что") закон записывается так:
(~ p->q)&(~p->~q)->p,
если (если не-р, то q) и (если не-р, то не-q), то р. 3. к. д. обычно называется также формула:
(~p->q&~q)->p,
если (если не-р, то q и не-q), то р. Напр.: "Если из-того, что 10 не является четным числом, вытекает то, что оно делится и не делится на 2, то 10 четное число".
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 1496 | |
2 | 1308 | |
3 | 1164 | |
4 | 1009 | |
5 | 766 | |
6 | 711 | |
7 | 683 | |
8 | 680 | |
9 | 655 | |
10 | 653 | |
11 | 613 | |
12 | 612 | |
13 | 572 | |
14 | 572 | |
15 | 561 | |
16 | 559 | |
17 | 554 | |
18 | 539 | |
19 | 536 | |
20 | 522 |